extension-prefs: Kill warning

We need to include shell-js.h

diff --git a/src/gnome-shell-extension-prefs.c b/src/gnome-shell-extension-prefs.c
index e97df5df2d38c6244713fefa0fd481f8a5170c75..17883207ad398ef4c98f277a08421b8ad9313bda 100644 (file)
--- a/src/gnome-shell-extension-prefs.c
+++ b/src/gnome-shell-extension-prefs.c
@@ -6,6 +6,8 @@
 #include <gjs/gjs.h>
 #include <glib/gi18n.h>
 
+#include "shell-js.h"
+
 int
 main (int argc, char *argv[])
 {